Computable Completely Decomposable Groups
نویسندگان
چکیده
A completely decomposable group is an abelian group of the form ⊕ i Hi, where Hi ≤ (Q,+). We show that every computable completely decomposable group is ∆5-categorical. We construct a computable completely decomposable group which is not ∆4-categorical, and give an example of a computable completely decomposable group G which is ∆4-categorical but not ∆3-categorical. We also prove that the index set of computable completely decomposable groups is arithmetical.
منابع مشابه
Effectively Categorical Abelian Groups
We study effective categoricity of computable abelian groups of the form ⊕ i∈ω H, where H is a subgroup of (Q,+). Such groups are called homogeneous completely decomposable. It is well-known that a homogeneous completely decomposable group is computably categorical if and only if its rank is finite. We study ∆n-categoricity in this class of groups, for n > 1. We introduce a new algebraic concep...
متن کاملDegrees of orders on torsion-free Abelian groups
We show that if H is an effectively completely decomposable computable torsion-free abelian group, then there is a computable copy G of H such that G has computable orders but not orders of every (Turing) degree.
متن کاملDecidability and Computability of Certain Torsion-Free Abelian Groups
We study completely decomposable torsion-free abelian groups of the form GS := ⊕n∈SQpn for sets S ⊆ ω. We show that GS has a decidable copy if and only if S is Σ2 and has a computable copy if and only if S is Σ 0 3.
متن کاملVarieties of Completely Decomposable Forms and Their Secants
This paper is devoted to the study of higher secant varieties of varieties of completely decomposable forms. The main goal is to develop methods to inductively verify the non-defectivity of such secant varieties. As an application of these methods, we will establish the existence of large families of non-defective secant varieties of “small” varieties of completely decomposable forms.
متن کاملOn the cotypeset of torsion-free abelian groups
In this paper the cotypeset of some torsion-free abelian groups of finite rank is studied. In particular, we determine the cotypeset of some rank two groups using the elements of their typesets. Introduction One of the important and known tools in the theory of torsion-free abelian groups is type and the typeset of a group. This set which is determined from the beginning of the the study the to...
متن کامل